Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
311	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: blog.appinions.com Language: English - Date: 2014-10-31 15:21:37 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
312	Big Possibilities! We make ICT strategies work 1 Add to Reading List Source URL: www.t-systems.cn Language: English - Date: 2013-12-18 22:26:20 Formal sciences Business intelligence Database management systems Data analysis Emerging technologies Big data Analytics Detecon Text mining Data management Technology Science
313	Microsoft Word - Book_Chapter_on_Data_Analysis_in_Future_Energy_Accepted Add to Reading List Source URL: www.fi-ppp-finseny.eu Language: English - Date: 2012-03-14 06:33:33 Formal sciences Machine learning Ethology Physics Knowledge discovery Analysis Science Data mining Data analysis
314	Accelerating the Discovery of Powerful Insights from Complex Data The Problem Your data continues to grow exponentially in both volume and complexity. Finding key insights that drive new revenue streams, forge stronger c Add to Reading List Source URL: www.ayasdi.com Language: English - Date: 2015-02-12 20:18:44 Information Data analysis Knowledge Formal sciences Scientific method Machine learning Data warehouse Analytics Metadata Business intelligence Science Data management
315	General Assembly   Course Curriculum DATA SCIENCE GA.CO/DS Add to Reading List Source URL: ga-core-production-herokuapp-com.global.ssl.fastly.net Language: English - Date: 2015-05-05 11:23:48 Business intelligence Data analysis Formal sciences Statistical classification Data mining ADAPA Supervised learning Regression analysis Naive Bayes classifier Statistics Science Machine learning
316	A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Systems engineering Formal methods Software requirements Quality Safety engineering Dependability Reliability engineering Problem frames approach Software development methodology Software development Software Science
317	Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization (Tutorial paper for the 53rd IEEE Conference on Decision and Control) Amir Ali Ahmadi and Pablo A. Pa Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-09-21 01:20:26 Stability theory Systems theory Real algebraic geometry Applied mathematics Dynamical systems Lyapunov function Sum-of-squares optimization Semidefinite programming Lyapunov stability Mathematics Mathematical optimization Operations research
318	PDF Document Add to Reading List Source URL: cran.skazkaforyou.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
319	Ventana Research: Predictive Analytics Enters the Mainstream Predictive Analytics Enters the Mainstream Taking Advantage of Trends to Gain Competitive Advantage Add to Reading List Source URL: www.revelwood.com Language: English - Date: 2014-12-18 12:11:37 Science Formal sciences Data analysis Analytics Mathematical finance Predictive analytics Data mining Big data Business analytics Business intelligence Statistics Data management
320	PDF Document Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE